3 research outputs found
A logic for parametric polymorphism with effects
Get PDFAbstract. We present a logic for reasoning about parametric polymorphism in combination with arbitrary computational effects (nondeterminism, exceptions, continuations, side-effects etc.). As examples of reasoning in the logic, we show how to verify correctness of polymorphic type encodings in the presence of effects.
Atmospheric chemistry of dimethyl carbonate: Reaction with OH radicals, UV spectra of CH<sub>3</sub>OC(O)OCH<sub>2</sub> and CH<sub>3</sub>OC(O)OCH<sub>2</sub>O<sub>2</sub> radicals, reactions of CH<sub>3</sub>OC(O)OCH<sub>2</sub>O<sub>2</sub> with NO and NO<sub>2</sub>, and fate of CH<sub>3</sub>OC(O)OCH<sub>2</sub>O radicals
No full text
